A Stochastic Causality-Based Process Algebra

نویسندگان

  • Ed Brinksma
  • Joost-Pieter Katoen
  • Rom Langerak
  • Diego Latella
چکیده

Thi spaperdi scussesstochasti cextensi onsofasi mpl eprocessal gebrai nacausal i ty-based setti ng. Atomi c acti ons are supposed to happen after a del ay that i s deter-mi ned bya stochasti c vari abl e wi th acertai n di stri buti on. Asi mpl e stochasti c type of event structures i s di scussed, restri cti ng the di stri buti on functi ons to be expo-nenti al. Acorrespondi ngoperati onalsemanti csofthi smodeli sgi venandcompared to exi sti ng (i nterl eaved) approaches. Secondl y, a stochasti c vari ant of event structures i s di scussed where di stri buti ons are of a much more general nature, vi z. of phase-type. Thi s i ncl udes exponenti al , Erl ang, Coxi an and mi xtures of exponenti al di stri buti ons.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Throughput approximation of decision free processes using decomposition

We present an approach for the efficient approximation of the throughput of decision free processes, a class of stochastic process algebra models. Stochastic process algebras are modeling formalisms which are based on communicating sequential processes, in contrast to stochastic Petri nets which focus on causality and concurrency. The algorithm we are using is based on model decomposition at th...

متن کامل

New Solutions for Fokker-Plank Equation of‎ ‎Special Stochastic Process via Lie Point Symmetries

‎In this paper Lie symmetry analysis is applied in order to find new solutions for Fokker Plank equation of Ornstein-Uhlenbeck process‎. ‎This analysis classifies the solutions format of the Fokker Plank equation by using the Lie algebra of the symmetries of our considered stochastic process‎.

متن کامل

Wilson wavelets for solving nonlinear stochastic integral equations

A new computational method based on Wilson wavelets is proposed for solving a class of nonlinear stochastic It^{o}-Volterra integral equations. To do this a new stochastic operational matrix of It^{o} integration for Wilson wavelets is obtained. Block pulse functions (BPFs) and collocation method are used to generate a process to forming this matrix. Using these basis functions and their operat...

متن کامل

Numerical Solution of Heun Equation Via Linear Stochastic Differential Equation

In this paper, we intend to solve special kind of ordinary differential equations which is called Heun equations, by converting to a corresponding stochastic differential equation(S.D.E.). So, we construct a stochastic linear equation system from this equation which its solution is based on computing fundamental matrix of this system and then, this S.D.E. is solved by numerically methods. Moreo...

متن کامل

A computational wavelet method for numerical solution of stochastic Volterra-Fredholm integral equations

A Legendre wavelet method is presented for numerical solutions of stochastic Volterra-Fredholm integral equations. The main characteristic of the proposed method is that it reduces stochastic Volterra-Fredholm integral equations into a linear system of equations. Convergence and error analysis of the Legendre wavelets basis are investigated. The efficiency and accuracy of the proposed method wa...

متن کامل

Causality and stochastic realization

The study of Granger causality has been mainly preoccupied with time series. We will instead concentrate on continuous time processes. Many systems to which it is natural to apply tests of causality take place in continuous time. For example, this is generally the case within economy. In the first part of this paper, we give a generalization of a causality relationship “G is a cause of E within...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Comput. J.

دوره 38  شماره 

صفحات  -

تاریخ انتشار 1995